2018 Texas Science Olympiad Texas A&M University, College Station April 20-21, 2018 Division B (Middle School) TENTATIVE Schedule of Events

Source URL: outreach.science.tamu.edu

Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory Harley Eades III Computer Science, Augusta University Introduction. Over the course of the last thirty years interactive proo

Source URL: metatheorem.org

New perspectives on the old data in psycholinguistics Chairperson Jongsup Jun Department of Linguistics and Cognitive Science, Hankuk University of Foreign Studies, Korea Speakers

Source URL: ceur-ws.org

Online and Distributed Bayesian Moment Matching for Parameter Learning in Sum-Product Networks Abdullah Rashwan Computer Science University of Waterloo

Source URL: cs.uwaterloo.ca

Lecture 9.1 Introduction to Synchronization ENInstructor: Randal Burns 26 February 2018 Department of Computer Science, Johns Hopkins University

Source URL: parallel.cs.jhu.edu

Design of Concept Libraries for C++ Andrew Sutton and Bjarne Stroustrup Texas A&M University Department of Computer Science and Engineering {asutton, bs}@cse.tamu.edu

Source URL: www.stroustrup.com

Action Selection and Individuation in Agent Based Modelling Joanna J. Bryson University of Bath Department of Computer Science Artificial models of natural Intelligence (AmonI)

Source URL: www.cs.bath.ac.uk

• Metaphysics
• Modeling and simulation
• Simulation
• Multi-agent systems
• Artificial intelligence
• Complex systems theory
• Scientific modeling
• Reactive planning
• Action selection
• Intelligent agent
• Agent-based model
• Social simulation

Decision Knowledge Triggers in Continuous Software Engineering Anja Kleebaum Heidelberg University Institute of Computer Science

Source URL: cures.ifi.uni-heidelberg.de

Scaling an Object-oriented System Execution Visualizer through Sampling Andrew Chan, Reid Holmes, Gail C. Murphy and Annie T.T. Ying Department of Computer Science University of British ColumbiaMain Mall

Source URL: www.annieying.ca

TrustDavis: A Non-Exploitable Online Reputation System Dimitri do B. DeFigueiredo Earl T. Barr Department of Computer Science, University of California at Davis {defigueiredo,etbarr}@ucdavis.edu

Source URL: web.cs.ucdavis.edu

• Economy
• Accounting
• Finance
• Insurance
• Insurance industry
• Transaction cost
• Factoring
• Debits and credits
• Liability insurance
• South African insurance law